Reply to van der Hoek and Berkhout

Dependence by any other name smells just as sweet: reply to van der Velde and van der Heijden (1997)

The hypothesis that people selectively attend to entire objects predicts that all attributes of an object will be reported either very accurately (if the object was attended) or very inaccurately (if it was unattended). Hence, reports of object attributes should show positive dependence. M. Monheit and J. Johnston (1994) have confirmed this prediction. F. van der Velde and A. H. C. van der Heij...

Joshua Sack Wiebe van der Hoek A Modal Logic for Mixed Strategies

Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games ...

گزارش یک مورد سندرم VAN DER WOUDE

Wiebe van der Hoek Michael Wooldridge Cooperation , Knowledge , and Time : Alternating - time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic ctl, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expre...

Vydrov and Van Voorhis reply

Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.